Prosolvability Criteria and Properties of the Prosolvable Radical via Sylow Sequences

We extend a finite group solvability criterion of J.G. Thompson, based on his classification of finite minimal simple groups, to a prosolvability criterion. Moreover, we generalize to the profinite setting subsequent developments of Thompson’s criterion by G. Kaplan and the second author, which recast it in terms of properties of sequences of Sylow subgroups and their products. This generalization also encompasses a possible characterization of the prosolvable radical whose scope of validity is still open even for finite groups. We prove that if this characterization is valid for finite groups, then it carries through to profinite groups.